241. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
T39
1989
242. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk, 9591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
243. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;
244. Formal methods for concurrency
پدیدآورنده : Fencott, Clive
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Real-time data processing , Real-time programming , Programming Languages )Electronic computers(
رده :
QA
76
.
54
.
F46
1996
245. Foundations of parallel programming /
پدیدآورنده : David Skillicorn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers),Parallelverarbeitung,Programmation parallele (informatique),Programmierung
رده :
QA76
.
58
.
S59
1994
246. From Point to Pixel:
پدیدآورنده : Hoy, Meredith Anne
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
247. From problem to program
پدیدآورنده : / M. E. Wardle
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming,Electronic data processing - Mathematics
رده :
001
.
642
W266
248. From problem to program
پدیدآورنده : Wardle, M E
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Electronic data processing-- Mathematics
رده :
QA
76
.
6
.
W35
249. Fundamentals of computer science
پدیدآورنده : Walker, Terry M, 8391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Electronic data processing,، Electronic digital computers - programming
رده :
QA
76
.
W19
250. GNU Octave
پدیدآورنده : Jesper Schmidt Hansen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Numerical analysis-- Data processing,Programming languages (Electronic computers)
رده :
QA76
.
73
.
G58
S36
2011
251. Handbook of circuit analysis languages and techniques
پدیدآورنده : editors, Randall W. Jensen, Lawrence P. McNamee
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic circuit design -- Data processing,، Programming languages )Electronic computers(
رده :
TK
7867
.
J39
252. Handbook of circuit analysis languages and techniques
پدیدآورنده : Jensen, Randall W.
موضوع : ، Electronic circuit design-- Data processing,، Programming language )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
253. Handbook on parallel and distributed processing
پدیدآورنده : edited by Jacek Blazewicz [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing -- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
58
E358
2011
254. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
رده :
TK
7888
.
3
.
I57
1997
255. High performance deformable image registration algorithms for manycore processors
پدیدآورنده : James Shackleford; Nagarajan Kandasamy; Gregory Sharp
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Multiprogramming )Electronic computers(,، Computer algorithms,، High performance computing
رده :
QA76
.
6
256. How to design programs :
پدیدآورنده : Matthias Felleisen ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming.,Electronic data processing.
رده :
QA76
.
6
.
H697
2001
257. How to solve it by computer
پدیدآورنده : Dromey, R G
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Data processing,، Problem solving -- Data processing,، Electronic digital computers -- Programming
رده :
QA
76
.
95
.
D76
1982
258. How to solve it by computer
پدیدآورنده : / by R.G. Dromey
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Mathematics - Data processing,Problem solving - Data processing,Electronic digital computers - Programming
رده :
QA
76
.
95
.
D76
1992
259. How to solve it by computer
پدیدآورنده : Dromey, R. G.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Mathematics- Data processing,، Problem solving- Data processing,، Electronic digital computers- Programming
رده :
QA
76
.
95
.
D75
260. How to solve it by computer /
پدیدآورنده : by R.G. Dromey
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming,Mathematics-- Data processing,Problem solving-- Data processing,Mathématiques-- Informatique,Programmation (Informatique),Résolution de problème-- Informatique
رده :
QA76
.
95
.
D76
1982
